A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www-kb.is.s.u-tokyo.ac.jp

Pumping by Typing Naoki Kobayashi The University of Tokyo Abstract—Higher-order recursion schemes (HORS), which are higher-order grammars for generating infinite trees, have recently

Source URL: www-kb.is.s.u-tokyo.ac.jp

Simfly2: Simulation of a Fly Embryo Masanori Arita Department of Information Science, Graduate School of Science, University of Tokyo

Source URL: www.jsbi.org

• Biology
• Developmental biology
• Proteins
• Pair-rule gene
• Gap gene
• DNA-binding protein
• GTPase-activating protein
• Drosophila embryogenesis
• Gene expression

System Level Analysis of Millimeter-wave Overlaid HetNet KDDI R&D LABS, Panasonic AVC Networks Company, Osaka University, Tokyo Insitute of Technology (JP) Fraunhofer Heinrich-Hertz-Institut, Intel Mobile Communications,

Source URL: www.miweba.eu

Simulation of Rigid Origami Tomohiro Tachi The University of Tokyo Abstract

Source URL: www.tsg.ne.jp

Call for a project postdoctoral fellow Institute for Cosmic Ray Research, the University of Tokyo The Institute of Cosmic Ray Research (ICRR), the University of Tokyo, Japan is an institute focused on astrophysics with a

Source URL: www.icrr.u-tokyo.ac.jp

2015 Guide to Komaba Library, the University of Tokyo

Source URL: lib.c.u-tokyo.ac.jp

LOW-LEVEL FUSION OF AUDIO AND VIDEO FEATURE FOR MULTI-MODAL EMOTION RECOGNITION Matthias Wimmer Perceptual Computing Lab, Faculty of Science and Engineering, Waseda University, Tokyo, Japan

Source URL: wimmerm.bplaced.net

The Past as known from Tamil Inscriptions: Village Community and Challenge to the Caste System Noboru Karashima Professor Emeritus, The University of Tokyo. Abstract

Source URL: f.hypotheses.org

Human Capabilities on Video-based Facial Expression Recognition Matthias Wimmer1 , Ursula Zucker2 , and Bernd Radig2 1 Faculty of Science and Engineering, Waseda University, Tokyo, Japan

Source URL: wimmerm.bplaced.net